(de false () ())
(de true () t)
(de null (l) (eq l nil))
(de not (a)
  (cond (a  nil)
        (t t)))
(de atomp (a) (atom a))
(de consp (a)
  (cond ((atom a) nil)
        ((null a) nil)
        (t a)))
(de variablep (a)
  (cond ((null a) nil)
        ((symbolep a) a)
        (t nil))) 
(df quote (a) a)
(de list l l)
(de mcons l (cond ((null (cdr l)) (car  l)) (t (cons (car l) (apply mcons (cdr l))))))
(df lambda args (cons 'lambda args))
(df flambda args (cons 'flambda args)) 
(df  progn c (apply eprogn c)) 
(df let (f e . c) (eval (cons (cons 'lambda (cons f c)) e))) 
(de println l ((lambda (a) (print) a) (apply print l)))
